asynchronous muddy child puzzle
Asynchronous Muddy Children Puzzle (work in progress)
Trufaş, Dafina, Teodorescu, Ioan, Diaconescu, Denisa, Şerbănuţă, Traian, Zamfir, Vlad
In this work-in-progress paper we explore using the recently introduced VLSM formalism to define and reason about the dynamics of agent-based systems. To this aim we use VLSMs to formally present several possible approaches to modeling the interactions in the Muddy Children Puzzle as protocols that reach consensus asynchronously.